Merge pull request #772 from tsteven4/lgtm
authortsteven4 <13596209+tsteven4@users.noreply.github.com>
Sun, 28 Nov 2021 00:45:30 +0000 (17:45 -0700)
committerGitHub <noreply@github.com>
Sun, 28 Nov 2021 00:45:30 +0000 (17:45 -0700)
miscellaneous minor fixes


Trivial merge